Parallel processing

Results: 1959



#Item
211Concurrency control / Transaction processing / Linearizability / Algorithm / Concurrent computing / Parallel computing

A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1

Add to Reading List

Source URL: webee.technion.ac.il

Language: English - Date: 2015-08-17 06:31:40
212Parallel computing / Fortran / ILLIAC IV / APL / Vector processor / Data parallelism / Array data type / Bit array / Cilk / General-purpose computing on graphics processing units / Array data structure / NESL

New Abstractions for Data Parallel Programming James C. Brodman, Basilio B. Fraguela† , Mar´ıa J. Garzar´an, and David Padua Department of Computer Science University of Illinois at Urbana-Champaign brodman2, garzar

Add to Reading List

Source URL: polaris.cs.uiuc.edu

Language: English - Date: 2009-03-05 10:59:40
213Hardware virtualization / Hypervisor / Hardware-assisted virtualization / Virtualization / VM / Hyper-V / Xen / Live migration / Virtual machine / X86 virtualization

CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang Parallel Processing Institute Fudan University

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2011-09-11 16:39:22
214Image processing / Digital imaging / Digital geometry / ISO standards / Digital television / Pixel aspect ratio / Web banner / Pixel / JPEG / H.264/MPEG-4 AVC / Dots per inch / Image resolution

AD SPECIFICATIONS Site Served Parallel Video: Tablet The banner ad loads in a banner placement and the collapsed video slides onto the bottom right corner of the screen. The video expands to a full-page ad

Add to Reading List

Source URL: www.millennialmedia.com

Language: English - Date: 2016-08-01 17:01:37
215Guang Gao / International Parallel and Distributed Processing Symposium / Actor model / Parallel computing / Reconfigurable computing / Dataflow programming / Computer architecture / Krishna Palem / Draft:Chittoor V. Ramamoorthy

GUANG R. GAO University of Delaware Department of Electrical and Computer Engineering 140 Evans Hall

Add to Reading List

Source URL: www.capsl.udel.edu

Language: English - Date: 2015-02-12 15:30:44
216Parallel computing / Data-intensive computing / MapReduce / Speedup / Apache Hadoop / VTD-XML / Computer cluster / Scalability / Concurrent data structure / Multi-core processor / Automatic parallelization tool / Java API for XML Processing

Parallel and Distributed Approach for Processing Large-Scale XML Datasets Zacharia Fadika 1 , Michael R. Head 2 , Madhusudhan Govindaraju 3 Computer Science Department, Binghamton University P.O. Box 6000, Binghamton, NY

Add to Reading List

Source URL: www.cs.binghamton.edu

Language: English - Date: 2009-11-29 14:25:42
217Formal methods / MapReduce / Loop invariant / Postcondition / Apache Hadoop / Control flow / Hoare logic / Generator / Predicate transformer semantics / KeY / Infinite loop / Const

Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2016-07-02 20:30:42
218Computer memory / Transaction processing / Parallel computing / Compiler construction / Concurrency / Cache coherence / Memory ordering / Consistency model / Linearizability / Sequential consistency / CPU cache / Processor consistency

Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2013-11-03 08:27:59
219Parallel computing / Data management / Big data / Data-intensive computing / MapReduce / Stream processing / Extract /  transform /  load / Pipeline / ECL

Data Ingestion in AsterixDB Raman Grover, Michael J. Carey Department of Computer Science, University of California- Irvine, CA, 92697 { ramang, mjcarey}@ics.uci.edu

Add to Reading List

Source URL: asterixdb.ics.uci.edu

Language: English - Date: 2016-08-04 21:55:40
220Computational linguistics / Natural language processing / Annotation / Automatic summarization / Phrase / Parallel text / International Corpus of English / Machine translation / Statistical machine translation

Multilevel Annotation of Agreement and Disagreement in Italian News Blogs Fabio Celli, Giuseppe Riccardi, Firoj Alam Fabio Celli, Giuseppe Riccardi, Firoj Alam University of Trento, Italy {fabio.celli, giuseppe.riccardi,

Add to Reading List

Source URL: www.sensei-conversation.eu

Language: English - Date: 2016-03-10 04:41:15
UPDATE